Operational semantics - PDFSEARCH.IO - Document Search Engine

Operational semantics
Results: 199

#	Item
181	J. Symbolic Computation[removed], 71-84 Constructing Type Systems over an Operational Semantics ROBERT HARPER Add to Reading List Source URL: www.cs.uoregon.edu Language: English - Date: 2010-06-25 18:00:46 Model theory Interpretation Structure Monad Equivalence relation FO Type system Combinatorial species Type theory Mathematics Mathematical logic Logic
182	Generalized Certicate Revocation Carl A. Gunter and Trevor Jim July 19, 1999 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 1999-08-23 16:40:12 Programming language semantics Applied mathematics Mathematics Quartz crystal microbalance Revocation list X.509 Denotational semantics Operational semantics Sheaf Theoretical computer science Public-key cryptography Logic in computer science
183	WRLA[removed]A Rewriting Semantics for Maude Strategies Narciso Mart´ı-Olieta, Jos´e Meseguerb , and Alberto Verdejoa a b Add to Reading List Source URL: maude.sip.ucm.es Language: English - Date: 2007-12-31 03:35:21 Applied mathematics Maude system Denotational semantics Formal language Structure Combinatory logic Rewriting Operational semantics Strategy Theoretical computer science Logic in computer science Mathematics
184	J , Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:38 Mathematical logic Programming language semantics Programming paradigms Models of computation Formal methods Denotational semantics Semantics of programming languages Programming language Operational semantics Mathematics Theoretical computer science Logic in computer science
185	Semantics of Programming Languages Computer Science Tripos, Part 1B 2008–9 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-01-16 04:23:41 Applied mathematics Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Semantics of programming languages Semantics Lambda calculus Theoretical computer science Mathematics Logic in computer science
186	Operational Semantics Using the Partiality Monad Nils Anders Danielsson Chalmers University of Technology and University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-10-18 07:55:38 Software engineering Programming language semantics Denotational semantics Logic in computer science Monad Lambda calculus Representation theory of finite groups Theoretical computer science Models of computation Applied mathematics
187	cognitive agent programming a semantic approach Add to Reading List Source URL: www.pst.ifi.lmu.de Language: English - Date: 2006-09-29 11:07:11 Semantics Applied mathematics Denotational semantics Philosophy of language Operational semantics Formal semantics Principle of compositionality Theoretical computer science Logic in computer science Programming language semantics
188	A Structural Approach to Operational Semantics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-01-10 08:48:23 Automata theory Mathematics Deduction Entailment Logical consequence Metalogic Nondeterministic finite automaton Symbol Petri net Logic Abstract algebra Models of computation
189	The Origins of Structural Operational Semantics Gordon D. Plotkin Laboratory for Foundations of Computer Science, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:07 Logic in computer science Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Semantics of programming languages Lambda calculus Programming Computable Functions Theoretical computer science Computer science Applied mathematics
190	Component-Based Description of Programming Languages Peter D. Mosses Add to Reading List Source URL: www.bcs.org Language: English - Date: 2011-01-10 14:16:37 Software engineering Programming language theory Formal languages Denotational semantics Procedural programming languages Operational semantics Semantics Action semantics Programming language Theoretical computer science Logic in computer science Programming language semantics

UPDATE